A simple bare metal x86 example