On a UEFI system, the boot partition is unencrypted and formatted as fat32.