8142 bootadm: get_boot_cap() should test for both 32-bit and 64-bit kernel