Kernel mach_kernel Kernel Flags Timeout 11 device-properties 4b00000001000000010000003f0000000100000002010c00d041030a0000000001010600051c0101060000007fff0400160000006200750069006c0074002d0069006e0000000500000001