Kernel mach_kernel Kernel Flags KF Timeout SE Quiet Boot QB Graphics Mode GM device-properties EF