4120 /etc/mach and 32-bit sd belong in system/kernel
Reviewed by: Milan Jurik <milan.jurik@xylab.cz>
Reviewed by: Andy Stormont <AStormont@racktopsystems.com>
Approved by: Gordon Ross <gordon.ross@nexenta.com>