Remove more x86_64 defines
Remove kernel output files