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