Bug 1296: E32test t_cputime.exe failed while testing Fast Counter
(2nd part of the fix)
#include "hw/hw.h"
#include "hw/boards.h"
void register_machines(void)
{
qemu_register_machine(&mcf5208evb_machine);
qemu_register_machine(&an5206_machine);
qemu_register_machine(&dummy_m68k_machine);
}