vga_set_indexed_colors
return vga_set_indexed_colors(args.first, args.colors,
status_t vga_set_indexed_colors(uint8 first, uint8 *colors, uint16 count);