efi/libstub: Drop __pure getter for efi_system_table