[OpenBIOS] [PATCH 0/3] Enable serial console for PReP machines