a1fdf50c01
before console probing). Also fix a confusion between EFI's page size which is fixed at 4096 and our own page size which is variable at compile time.