[OpenBIOS] [PATCH 2/2] PPC: Add the old-world bootcode device dev:, %BOOT to the bootdevice list