List, After booting successfully, which command can be used to find MACHINE ID? In x86 laptop, hostid can be used. On ARM machine, where MACHINE ID that is listed in arch/arm/tools/mach-types can be checked? Thanks. ----Henry