Kernel: fix fifoGetRetValue32() (return value follows FIFO, not LIFO)
vars.mk: minor tweak
stdint.h: add (u)intptr_t