Force mirb.c to be regenerated every time kernel.bin is built.