Re: [LinuxBIOS] small 64bit initrd