Don't want -DKERNEL_LOAD_PAGES on every kernel.bin prereq.