Fix kernel build.
Move kernel build to the os root build.
Update Propeller P8X32A build.