for the archvies/faq: how to get BOOT_IDE to work