BIP KB Tag: booting Linux