Introduce $*KERNEL.bits (either 32 or 64 for now)
Add some intro commentaries
$*KERNEL.bits probably better depends on .hardware