Explicitly accept machid of 0xf35; can't patch this in u-boot
without a serial cable, which lots of people don't have.
This really needs to be looked into in the u-boot code base.