I dunno if there's a better way, but you can probably boot into a Live CD to access the boot partiti
I dunno if there's a better way, but you can probably boot into a Live CD to access the boot partition and edit the GRUB settings.
sudo su
cd /tmp
ausearch -c 'hl2_linux' --raw | audit2allow -M my-hl2linux
semodule -X 300 -i my-hl2linux.pp