loader: UEFI loader needs to set ISADIR based on hardware