Remove old boardid/mach-types support.
This has been long obsolete in linux and now that all armv4/5 support is gone, it can be retired too.