[LinuxBIOS] small 64bit initrd