[OSFMK]
    - "Bad hack" for S5L8930X bringup.
    - All platforms except ARMPBA8 now log to the 8kB
      semihost/early kernel printf buffer.