[OpenBIOS] [PATCH 0/2] 40p: update interrupt routing and model name