openSUSE does the same to boot on Raspberry Pi as well. Probably a few other distros as well.