How to install and use the new Raspberry Pi boot menu