[LinuxBIOS] Fwd: Could original VGA BIOS be responsible for long timeout before LinuxBIOS kicks in?