Some 32-bit vs. 64-bit fixes.
tree08a1b23efb04453275f19b731160cd0c946cbea5
-rw-r--r-- 2480 Makefile
drwxr-xr-x - arch
-rw-r--r-- 937 boot.config
drwxr-xr-x - genarch
drwxr-xr-x - generic
drwxr-xr-x - tools