that is after spending an hour reading how EFI, DSDT and Linux EFI works.