[LinuxBIOS] trying to load a linux-tiny kernel on epia