If we cannot find PS/2 devices in the acpi namespace check 8042 bit in FADT. Also if user explicitly specified PS/2 scancode set, assume that we do have a PS/2 controller even when other detection mechanisms fail