How to use a Bluetooth keyboard in BIOS/FileVault