Draft: fix FTBS on 64bit Linux
On 64bit the long int type is 64 bit, but the MSR operations still are 32bit, thus we need to use uint32_t. Also need slighty modified versions of the inline asm code, since on 64bit machines, the 32bit (pseudo-)registers can't be used on push/pop.
Signed-off-by: Enrico Weigelt, metux IT consult info@metux.net