[magazine] Technical review needed: "What is the GRUB2 boot loader?"