This note describes how to overcome an installation problem we had in today’s installfest. The system would not boot from the hard disk, and when trying to boot from a USB stick, we received a message saying: alloc magic is broken at 0xxxxxx.
What finally worked was this: In the BIOS setup, select UEFI boot and enable secure boot!.
Then boot into the USB grub menu.
