From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Fri, 20 Jan 1995 18:20:42 -0500
From: Dean R. E. Long dlong@cse.ucsc.edu
Subject: sparc cpu server
Topicbox-Message-UUID: 06509818-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19950120232042.vhp5ukEUFas5NUG9RHY8WTljdLGmq6Bq8kFt3ftsvHM@z>

Starting the kernel at 0xFFFF0000 doesn't give you much space.
Also I think the 0x4000 offset is significant.  Have you tried
0xf0004000 or perhaps 0xf8004000?

dl