Tweaks boot loader for F-16