[LinuxBIOS] USB booting in LinuxBIOS