Re: [LinuxBIOS] [Kboot-general] Re: small 64bit initrd