changing doc comments to look like the rest
make the kernel portable again

automatically include the correct CPU-specific header, use the generic interface only
plus some other minor changes
add LED port/pin definitions to GPIO for convenience
rename panic() to chaos() + blink LED ^_^