Dummy kernel now contains NOP only