* for now at least the board uses a custom boot platform. This way one only has to define HAIKU_BOOT_BOARD now.