BCM2835 support #56
Description
The current kernel only works on real Raspberry pi systems that have the BCM2836 chip. This is because that's the only one we can emulate. Drivers for the BCM2835 should also be implemented to be compatible with all 32 bit raspberry pis. Switching between the two can be done dynamically with the chipset subsystem.
This can as far as I know only to be tested with a real raspberry pi. Which will be a pain.