Bush Internet TV (IBX100) support
Initial patch for Bush Internet TV and IBX100/IBX200 set-top box support.
This does a couple of things:
- Allow the machine type "Lazarus" (the Bush Internet TV
- Flesh out the Video Device HAL descriptor a little. This adds flags for VCOless-VIDC, and TV output (whether the output is a TV, and whether it's PAL or NTSC)
This can be merged independently, but later MRs on VIDC20 video driver and IOMD HAL will require it.