[OpenBIOS] [PATCH 2/2] 40p: update PReP configuration to match 40p machine