Put mkbof hwtyp in the platform module