[OpenBIOS] boot times on sis630