[OpenBIOS] piix4e "minimal" setup