[PATCH 0/4] upl: A few fixes to get EDK2 booting