Add bitness to filename for cached kernels, otherwise a user would load a 32 bit...

Add bitness to filename for cached kernels, otherwise a user would load a 32 bit kernel with a 64 bit host binary in case he used the 32 bit binary before which leads to a segfault