Update machine and bootloader

Add the correct machine for the bootloader, change to a zImage for the
kernel, and update the bootloader source uri and source rev.

Signed-off-by: Stephano Cetola <scetola@reachtech.com>